Fundraising September 15, 2024 – October 1, 2024 About fundraising
3

Flow-sensitive type systems and the ambient calculus

Year:
2008
Language:
english
File:
PDF, 607 KB
english, 2008
5

Partial memoization for obtaining linear time behavior of a 2DPDA

Year:
1992
Language:
english
File:
PDF, 686 KB
english, 1992
6

Slicing for modern program structures: a theory for eliminating irrelevant loops

Year:
2008
Language:
english
File:
PDF, 207 KB
english, 2008
14

A logic for information flow in object-oriented programs

Year:
2006
Language:
english
File:
PDF, 229 KB
english, 2006
15

Properties of unfolding-based meta-level systems

Year:
1991
Language:
english
File:
PDF, 1.03 MB
english, 1991